Optimal. Leaf size=410 \[ \frac{12 f (c+d x) (d e-c f) \sin \left (a+b \sqrt{c+d x}\right )}{b^2 d^3}+\frac{2 (d e-c f)^2 \sin \left (a+b \sqrt{c+d x}\right )}{b^2 d^3}-\frac{24 f (d e-c f) \sin \left (a+b \sqrt{c+d x}\right )}{b^4 d^3}+\frac{24 f \sqrt{c+d x} (d e-c f) \cos \left (a+b \sqrt{c+d x}\right )}{b^3 d^3}+\frac{10 f^2 (c+d x)^2 \sin \left (a+b \sqrt{c+d x}\right )}{b^2 d^3}-\frac{120 f^2 (c+d x) \sin \left (a+b \sqrt{c+d x}\right )}{b^4 d^3}+\frac{240 f^2 \sin \left (a+b \sqrt{c+d x}\right )}{b^6 d^3}+\frac{40 f^2 (c+d x)^{3/2} \cos \left (a+b \sqrt{c+d x}\right )}{b^3 d^3}-\frac{240 f^2 \sqrt{c+d x} \cos \left (a+b \sqrt{c+d x}\right )}{b^5 d^3}-\frac{4 f (c+d x)^{3/2} (d e-c f) \cos \left (a+b \sqrt{c+d x}\right )}{b d^3}-\frac{2 \sqrt{c+d x} (d e-c f)^2 \cos \left (a+b \sqrt{c+d x}\right )}{b d^3}-\frac{2 f^2 (c+d x)^{5/2} \cos \left (a+b \sqrt{c+d x}\right )}{b d^3} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.39884, antiderivative size = 410, normalized size of antiderivative = 1., number of steps used = 14, number of rules used = 3, integrand size = 22, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.136, Rules used = {3431, 3296, 2637} \[ \frac{12 f (c+d x) (d e-c f) \sin \left (a+b \sqrt{c+d x}\right )}{b^2 d^3}+\frac{2 (d e-c f)^2 \sin \left (a+b \sqrt{c+d x}\right )}{b^2 d^3}-\frac{24 f (d e-c f) \sin \left (a+b \sqrt{c+d x}\right )}{b^4 d^3}+\frac{24 f \sqrt{c+d x} (d e-c f) \cos \left (a+b \sqrt{c+d x}\right )}{b^3 d^3}+\frac{10 f^2 (c+d x)^2 \sin \left (a+b \sqrt{c+d x}\right )}{b^2 d^3}-\frac{120 f^2 (c+d x) \sin \left (a+b \sqrt{c+d x}\right )}{b^4 d^3}+\frac{240 f^2 \sin \left (a+b \sqrt{c+d x}\right )}{b^6 d^3}+\frac{40 f^2 (c+d x)^{3/2} \cos \left (a+b \sqrt{c+d x}\right )}{b^3 d^3}-\frac{240 f^2 \sqrt{c+d x} \cos \left (a+b \sqrt{c+d x}\right )}{b^5 d^3}-\frac{4 f (c+d x)^{3/2} (d e-c f) \cos \left (a+b \sqrt{c+d x}\right )}{b d^3}-\frac{2 \sqrt{c+d x} (d e-c f)^2 \cos \left (a+b \sqrt{c+d x}\right )}{b d^3}-\frac{2 f^2 (c+d x)^{5/2} \cos \left (a+b \sqrt{c+d x}\right )}{b d^3} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3431
Rule 3296
Rule 2637
Rubi steps
\begin{align*} \int (e+f x)^2 \sin \left (a+b \sqrt{c+d x}\right ) \, dx &=\frac{2 \operatorname{Subst}\left (\int \left (\frac{(d e-c f)^2 x \sin (a+b x)}{d^2}+\frac{2 f (d e-c f) x^3 \sin (a+b x)}{d^2}+\frac{f^2 x^5 \sin (a+b x)}{d^2}\right ) \, dx,x,\sqrt{c+d x}\right )}{d}\\ &=\frac{\left (2 f^2\right ) \operatorname{Subst}\left (\int x^5 \sin (a+b x) \, dx,x,\sqrt{c+d x}\right )}{d^3}+\frac{(4 f (d e-c f)) \operatorname{Subst}\left (\int x^3 \sin (a+b x) \, dx,x,\sqrt{c+d x}\right )}{d^3}+\frac{\left (2 (d e-c f)^2\right ) \operatorname{Subst}\left (\int x \sin (a+b x) \, dx,x,\sqrt{c+d x}\right )}{d^3}\\ &=-\frac{2 (d e-c f)^2 \sqrt{c+d x} \cos \left (a+b \sqrt{c+d x}\right )}{b d^3}-\frac{4 f (d e-c f) (c+d x)^{3/2} \cos \left (a+b \sqrt{c+d x}\right )}{b d^3}-\frac{2 f^2 (c+d x)^{5/2} \cos \left (a+b \sqrt{c+d x}\right )}{b d^3}+\frac{\left (10 f^2\right ) \operatorname{Subst}\left (\int x^4 \cos (a+b x) \, dx,x,\sqrt{c+d x}\right )}{b d^3}+\frac{(12 f (d e-c f)) \operatorname{Subst}\left (\int x^2 \cos (a+b x) \, dx,x,\sqrt{c+d x}\right )}{b d^3}+\frac{\left (2 (d e-c f)^2\right ) \operatorname{Subst}\left (\int \cos (a+b x) \, dx,x,\sqrt{c+d x}\right )}{b d^3}\\ &=-\frac{2 (d e-c f)^2 \sqrt{c+d x} \cos \left (a+b \sqrt{c+d x}\right )}{b d^3}-\frac{4 f (d e-c f) (c+d x)^{3/2} \cos \left (a+b \sqrt{c+d x}\right )}{b d^3}-\frac{2 f^2 (c+d x)^{5/2} \cos \left (a+b \sqrt{c+d x}\right )}{b d^3}+\frac{2 (d e-c f)^2 \sin \left (a+b \sqrt{c+d x}\right )}{b^2 d^3}+\frac{12 f (d e-c f) (c+d x) \sin \left (a+b \sqrt{c+d x}\right )}{b^2 d^3}+\frac{10 f^2 (c+d x)^2 \sin \left (a+b \sqrt{c+d x}\right )}{b^2 d^3}-\frac{\left (40 f^2\right ) \operatorname{Subst}\left (\int x^3 \sin (a+b x) \, dx,x,\sqrt{c+d x}\right )}{b^2 d^3}-\frac{(24 f (d e-c f)) \operatorname{Subst}\left (\int x \sin (a+b x) \, dx,x,\sqrt{c+d x}\right )}{b^2 d^3}\\ &=\frac{24 f (d e-c f) \sqrt{c+d x} \cos \left (a+b \sqrt{c+d x}\right )}{b^3 d^3}-\frac{2 (d e-c f)^2 \sqrt{c+d x} \cos \left (a+b \sqrt{c+d x}\right )}{b d^3}+\frac{40 f^2 (c+d x)^{3/2} \cos \left (a+b \sqrt{c+d x}\right )}{b^3 d^3}-\frac{4 f (d e-c f) (c+d x)^{3/2} \cos \left (a+b \sqrt{c+d x}\right )}{b d^3}-\frac{2 f^2 (c+d x)^{5/2} \cos \left (a+b \sqrt{c+d x}\right )}{b d^3}+\frac{2 (d e-c f)^2 \sin \left (a+b \sqrt{c+d x}\right )}{b^2 d^3}+\frac{12 f (d e-c f) (c+d x) \sin \left (a+b \sqrt{c+d x}\right )}{b^2 d^3}+\frac{10 f^2 (c+d x)^2 \sin \left (a+b \sqrt{c+d x}\right )}{b^2 d^3}-\frac{\left (120 f^2\right ) \operatorname{Subst}\left (\int x^2 \cos (a+b x) \, dx,x,\sqrt{c+d x}\right )}{b^3 d^3}-\frac{(24 f (d e-c f)) \operatorname{Subst}\left (\int \cos (a+b x) \, dx,x,\sqrt{c+d x}\right )}{b^3 d^3}\\ &=\frac{24 f (d e-c f) \sqrt{c+d x} \cos \left (a+b \sqrt{c+d x}\right )}{b^3 d^3}-\frac{2 (d e-c f)^2 \sqrt{c+d x} \cos \left (a+b \sqrt{c+d x}\right )}{b d^3}+\frac{40 f^2 (c+d x)^{3/2} \cos \left (a+b \sqrt{c+d x}\right )}{b^3 d^3}-\frac{4 f (d e-c f) (c+d x)^{3/2} \cos \left (a+b \sqrt{c+d x}\right )}{b d^3}-\frac{2 f^2 (c+d x)^{5/2} \cos \left (a+b \sqrt{c+d x}\right )}{b d^3}-\frac{24 f (d e-c f) \sin \left (a+b \sqrt{c+d x}\right )}{b^4 d^3}+\frac{2 (d e-c f)^2 \sin \left (a+b \sqrt{c+d x}\right )}{b^2 d^3}-\frac{120 f^2 (c+d x) \sin \left (a+b \sqrt{c+d x}\right )}{b^4 d^3}+\frac{12 f (d e-c f) (c+d x) \sin \left (a+b \sqrt{c+d x}\right )}{b^2 d^3}+\frac{10 f^2 (c+d x)^2 \sin \left (a+b \sqrt{c+d x}\right )}{b^2 d^3}+\frac{\left (240 f^2\right ) \operatorname{Subst}\left (\int x \sin (a+b x) \, dx,x,\sqrt{c+d x}\right )}{b^4 d^3}\\ &=-\frac{240 f^2 \sqrt{c+d x} \cos \left (a+b \sqrt{c+d x}\right )}{b^5 d^3}+\frac{24 f (d e-c f) \sqrt{c+d x} \cos \left (a+b \sqrt{c+d x}\right )}{b^3 d^3}-\frac{2 (d e-c f)^2 \sqrt{c+d x} \cos \left (a+b \sqrt{c+d x}\right )}{b d^3}+\frac{40 f^2 (c+d x)^{3/2} \cos \left (a+b \sqrt{c+d x}\right )}{b^3 d^3}-\frac{4 f (d e-c f) (c+d x)^{3/2} \cos \left (a+b \sqrt{c+d x}\right )}{b d^3}-\frac{2 f^2 (c+d x)^{5/2} \cos \left (a+b \sqrt{c+d x}\right )}{b d^3}-\frac{24 f (d e-c f) \sin \left (a+b \sqrt{c+d x}\right )}{b^4 d^3}+\frac{2 (d e-c f)^2 \sin \left (a+b \sqrt{c+d x}\right )}{b^2 d^3}-\frac{120 f^2 (c+d x) \sin \left (a+b \sqrt{c+d x}\right )}{b^4 d^3}+\frac{12 f (d e-c f) (c+d x) \sin \left (a+b \sqrt{c+d x}\right )}{b^2 d^3}+\frac{10 f^2 (c+d x)^2 \sin \left (a+b \sqrt{c+d x}\right )}{b^2 d^3}+\frac{\left (240 f^2\right ) \operatorname{Subst}\left (\int \cos (a+b x) \, dx,x,\sqrt{c+d x}\right )}{b^5 d^3}\\ &=-\frac{240 f^2 \sqrt{c+d x} \cos \left (a+b \sqrt{c+d x}\right )}{b^5 d^3}+\frac{24 f (d e-c f) \sqrt{c+d x} \cos \left (a+b \sqrt{c+d x}\right )}{b^3 d^3}-\frac{2 (d e-c f)^2 \sqrt{c+d x} \cos \left (a+b \sqrt{c+d x}\right )}{b d^3}+\frac{40 f^2 (c+d x)^{3/2} \cos \left (a+b \sqrt{c+d x}\right )}{b^3 d^3}-\frac{4 f (d e-c f) (c+d x)^{3/2} \cos \left (a+b \sqrt{c+d x}\right )}{b d^3}-\frac{2 f^2 (c+d x)^{5/2} \cos \left (a+b \sqrt{c+d x}\right )}{b d^3}+\frac{240 f^2 \sin \left (a+b \sqrt{c+d x}\right )}{b^6 d^3}-\frac{24 f (d e-c f) \sin \left (a+b \sqrt{c+d x}\right )}{b^4 d^3}+\frac{2 (d e-c f)^2 \sin \left (a+b \sqrt{c+d x}\right )}{b^2 d^3}-\frac{120 f^2 (c+d x) \sin \left (a+b \sqrt{c+d x}\right )}{b^4 d^3}+\frac{12 f (d e-c f) (c+d x) \sin \left (a+b \sqrt{c+d x}\right )}{b^2 d^3}+\frac{10 f^2 (c+d x)^2 \sin \left (a+b \sqrt{c+d x}\right )}{b^2 d^3}\\ \end{align*}
Mathematica [A] time = 1.76851, size = 138, normalized size = 0.34 \[ \frac{2 \sin \left (a+b \sqrt{c+d x}\right ) \left (b^4 d (e+f x) (4 c f+d (e+5 f x))-12 b^2 f (4 c f+d (e+5 f x))+120 f^2\right )-2 b \sqrt{c+d x} \cos \left (a+b \sqrt{c+d x}\right ) \left (-4 b^2 f (2 c f+3 d e+5 d f x)+b^4 d^2 (e+f x)^2+120 f^2\right )}{b^6 d^3} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.013, size = 1246, normalized size = 3. \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] time = 1.18474, size = 1486, normalized size = 3.62 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.75107, size = 431, normalized size = 1.05 \begin{align*} -\frac{2 \,{\left ({\left (b^{5} d^{2} f^{2} x^{2} + b^{5} d^{2} e^{2} - 12 \, b^{3} d e f - 8 \,{\left (b^{3} c - 15 \, b\right )} f^{2} + 2 \,{\left (b^{5} d^{2} e f - 10 \, b^{3} d f^{2}\right )} x\right )} \sqrt{d x + c} \cos \left (\sqrt{d x + c} b + a\right ) -{\left (5 \, b^{4} d^{2} f^{2} x^{2} + b^{4} d^{2} e^{2} + 4 \,{\left (b^{4} c - 3 \, b^{2}\right )} d e f - 24 \,{\left (2 \, b^{2} c - 5\right )} f^{2} + 2 \,{\left (3 \, b^{4} d^{2} e f + 2 \,{\left (b^{4} c - 15 \, b^{2}\right )} d f^{2}\right )} x\right )} \sin \left (\sqrt{d x + c} b + a\right )\right )}}{b^{6} d^{3}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 2.70185, size = 549, normalized size = 1.34 \begin{align*} \begin{cases} \left (e^{2} x + e f x^{2} + \frac{f^{2} x^{3}}{3}\right ) \sin{\left (a \right )} & \text{for}\: b = 0 \wedge d = 0 \\\left (e^{2} x + e f x^{2} + \frac{f^{2} x^{3}}{3}\right ) \sin{\left (a + b \sqrt{c} \right )} & \text{for}\: d = 0 \\\left (e^{2} x + e f x^{2} + \frac{f^{2} x^{3}}{3}\right ) \sin{\left (a \right )} & \text{for}\: b = 0 \\- \frac{2 e^{2} \sqrt{c + d x} \cos{\left (a + b \sqrt{c + d x} \right )}}{b d} - \frac{4 e f x \sqrt{c + d x} \cos{\left (a + b \sqrt{c + d x} \right )}}{b d} - \frac{2 f^{2} x^{2} \sqrt{c + d x} \cos{\left (a + b \sqrt{c + d x} \right )}}{b d} + \frac{8 c e f \sin{\left (a + b \sqrt{c + d x} \right )}}{b^{2} d^{2}} + \frac{8 c f^{2} x \sin{\left (a + b \sqrt{c + d x} \right )}}{b^{2} d^{2}} + \frac{2 e^{2} \sin{\left (a + b \sqrt{c + d x} \right )}}{b^{2} d} + \frac{12 e f x \sin{\left (a + b \sqrt{c + d x} \right )}}{b^{2} d} + \frac{10 f^{2} x^{2} \sin{\left (a + b \sqrt{c + d x} \right )}}{b^{2} d} + \frac{16 c f^{2} \sqrt{c + d x} \cos{\left (a + b \sqrt{c + d x} \right )}}{b^{3} d^{3}} + \frac{24 e f \sqrt{c + d x} \cos{\left (a + b \sqrt{c + d x} \right )}}{b^{3} d^{2}} + \frac{40 f^{2} x \sqrt{c + d x} \cos{\left (a + b \sqrt{c + d x} \right )}}{b^{3} d^{2}} - \frac{96 c f^{2} \sin{\left (a + b \sqrt{c + d x} \right )}}{b^{4} d^{3}} - \frac{24 e f \sin{\left (a + b \sqrt{c + d x} \right )}}{b^{4} d^{2}} - \frac{120 f^{2} x \sin{\left (a + b \sqrt{c + d x} \right )}}{b^{4} d^{2}} - \frac{240 f^{2} \sqrt{c + d x} \cos{\left (a + b \sqrt{c + d x} \right )}}{b^{5} d^{3}} + \frac{240 f^{2} \sin{\left (a + b \sqrt{c + d x} \right )}}{b^{6} d^{3}} & \text{otherwise} \end{cases} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] time = 1.6002, size = 1848, normalized size = 4.51 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]